# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
# RUN: llc -verify-machineinstrs -mtriple aarch64-unknown-unknown -run-pass=instruction-select %s -o - | FileCheck %s
---
name:            f64_faddp
alignment:       4
legalized:       true
regBankSelected: true
tracksRegLiveness: true
liveins:
  - { reg: '$q0' }
frameInfo:
  maxAlignment:    1
body:             |
  bb.1:
    liveins: $q0

    ; CHECK-LABEL: name: f64_faddp
    ; CHECK: liveins: $q0
    ; CHECK: [[COPY:%[0-9]+]]:fpr128 = COPY $q0
    ; CHECK: [[FADDPv2i64p:%[0-9]+]]:fpr64 = nofpexcept FADDPv2i64p [[COPY]]
    ; CHECK: $d0 = COPY [[FADDPv2i64p]]
    ; CHECK: RET_ReallyLR implicit $d0
    %0:fpr(<2 x s64>) = COPY $q0
    %6:gpr(s64) = G_CONSTANT i64 0
    %7:fpr(s64) = G_EXTRACT_VECTOR_ELT %0(<2 x s64>), %6(s64)
    %8:gpr(s64) = G_CONSTANT i64 1
    %9:fpr(s64) = G_EXTRACT_VECTOR_ELT %0(<2 x s64>), %8(s64)
    %4:fpr(s64) = G_FADD %7, %9
    $d0 = COPY %4(s64)
    RET_ReallyLR implicit $d0

...
---
name:            f32_faddp
alignment:       4
legalized:       true
regBankSelected: true
tracksRegLiveness: true
liveins:
  - { reg: '$d0' }
frameInfo:
  maxAlignment:    1
body:             |
  bb.1:
    liveins: $d0

    ; CHECK-LABEL: name: f32_faddp
    ; CHECK: liveins: $d0
    ; CHECK: [[COPY:%[0-9]+]]:fpr64 = COPY $d0
    ; CHECK: [[FADDPv2i32p:%[0-9]+]]:fpr32 = nofpexcept FADDPv2i32p [[COPY]]
    ; CHECK: $s0 = COPY [[FADDPv2i32p]]
    ; CHECK: RET_ReallyLR implicit $s0
    %0:fpr(<2 x s32>) = COPY $d0
    %6:gpr(s64) = G_CONSTANT i64 0
    %7:fpr(s32) = G_EXTRACT_VECTOR_ELT %0(<2 x s32>), %6(s64)
    %8:gpr(s64) = G_CONSTANT i64 1
    %9:fpr(s32) = G_EXTRACT_VECTOR_ELT %0(<2 x s32>), %8(s64)
    %4:fpr(s32) = G_FADD %7, %9
    $s0 = COPY %4(s32)
    RET_ReallyLR implicit $s0

...
